- unbeweisbare Aussage
- недоказуемое высказывание
Немецко-русский математический словарь. 2013.
unbeweisbare Aussage
Смотреть что такое "unbeweisbare Aussage" в других словарях:
Goodstein-Folge — Goodstein Folgen sind spezielle Folgen natürlicher Zahlen. Sie spielen eine Rolle in einem mathematischen Satz, dem Satz von Goodstein. Das Besondere an diesem Satz ist, dass er sich zwar mit den Mitteln der Peano Arithmetik formulieren, aber… … Deutsch Wikipedia
Goodstein Folgen — sind spezielle Folgen natürlicher Zahlen. Sie spielen eine Rolle in einem mathematischen Satz, dem Satz von Goodstein. Das Besondere an diesem Satz ist, dass er sich zwar mit den Mitteln der Peano Arithmetik formulieren, aber nicht ausschließlich … Deutsch Wikipedia
Goodsteinfolgen — Goodstein Folgen sind spezielle Folgen natürlicher Zahlen. Sie spielen eine Rolle in einem mathematischen Satz, dem Satz von Goodstein. Das Besondere an diesem Satz ist, dass er sich zwar mit den Mitteln der Peano Arithmetik formulieren, aber… … Deutsch Wikipedia
Satz von Goodstein — Goodstein Folgen sind spezielle Folgen natürlicher Zahlen. Sie spielen eine Rolle in einem mathematischen Satz, dem Satz von Goodstein. Das Besondere an diesem Satz ist, dass er sich zwar mit den Mitteln der Peano Arithmetik formulieren, aber… … Deutsch Wikipedia
Gödel'scher Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödels Satz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Gödelscher Unvollständigkeitssatz — Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in Formalen Sprachen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… … Deutsch Wikipedia
Positivismus — Der Positivismus ist eine Richtung in der Philosophie, die fordert, Erkenntnis auf die Interpretation „positiver Befunde“ zu beschränken. Das Wort „positiv“ wird dabei nicht im Sinne von „angenehm“, sondern wie in den Naturwissenschaften… … Deutsch Wikipedia
